Pemrograman Elixir : Kode sebagai Data: Sifat Homoikonik Elixir

Sifat Homoikonik

Bahasa homoikonik: Bahasa di mana representasi internal dinyatakan dalam bahasa itu sendiri. Dalam Elixir, kode sumber bukan sekadar teks; ia adalah struktur data bersarang yang dikenal sebagai Pohon Sintaks Abstrak (AST).

1. Aturan Logika Representasi

Elixir menyederhanakan AST dengan merepresentasikan literal dasar sebagai dirinya sendiri. Atom, angka, daftar (termasuk daftar kunci), biner, dan tuple dengan dua elemen direpresentasikan secara internal tanpa pembungkus kompleks.

iex> quote do: [do: 1]
[do: 1]
iex> quote do: "binaries"
"binaries"

2. Struktur Tuple AST

Sebagian besar transformasi kode menghasilkan tuple tiga elemen: {nama_fungsi, metadata, argumen}. Sebagai contoh, panggilan fungsi seperti 1 + 2 menjadi {:+, [line: 1], [1, 2]}. Ini memungkinkan bahasa untuk memperlakukan Kode sebagai Data.

3. Makro: Menunda Eksekusi

Makro adalah "cara menunda eksekusi klausa dengan menyisipkan kode kembali ke representasi internal program kita." Sementara fungsi standar mengevaluasi argumen sebelum memanggil, makro menerima AST mentah, memungkinkan penyisipan logika sebelum kompilasi.

$$\text{Kode Sumber} \xrightarrow{\text{Quote}} \text{Tupel AST} \xrightarrow{\text{Makro}} \text{AST yang Diubah}$$

TERMINALbash — 80x24

> Ready. Click "Run" to execute.

QUESTION 1

Which of the following is represented internally as itself in Elixir's AST?

A function definition

A list of integers

An if/else expression

A module alias

QUESTION 2

What does Code.string_to_quoted("a + b") return?

A binary string "a + b"

{:ok, {:+, [...], [{:a, [...], nil}, {:b, [...], nil}]}}

[a: :+, b: :+]

:ok

QUESTION 3

What is 'Success Typing' in the context of Elixir and Dialyzer?

A requirement that all functions have explicit types.

An inference system that assumes code is correct until it finds a contradiction.

A way to force runtime checks on all variables.

The process of compiling Elixir to BEAM bytecode.

QUESTION 4

How does an Umbrella project structure applications?

One massive file with multiple module definitions.

A lightweight mix file with an apps directory containing subprojects.

A series of microservices communicating over TCP.

A cloud-based repository with no local files.

QUESTION 5

Why would you use the after clause in a try block?

To catch only ArithmeticErrors.

To ensure code runs regardless of whether an exception was raised.

To retry the operation three times.

To define a new macro.